1. Type systems for distributed programs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)

رده :
QA76
.
76
.
V47